原始述語 atomic predicate